Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
551	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
552	Different Kinds of Proof Henry Towsner Introduction Add to Reading List Source URL: www.sas.upenn.edu Language: English - Date: 2014-09-03 17:44:03 Proof theory Knowledge Logic Mathematician Mathematics Mathematical logic Mathematical proof
553	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
554	Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds Yuval Filmus1 ? , Toniann Pitassi1 ? , and Rahul Santhanam2 1 University of Toronto, yuvalf, Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-22 20:53:40 Logic in computer science Automated theorem proving Frege system Propositional calculus Computational complexity theory Proof complexity Function Gottlob Frege Mathematical proof Mathematics Theoretical computer science Mathematical logic
555	A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness arXiv:1412.5484v1 [cs.CC] 17 DecSheela Devadas∗ and Ronitt Rubinfeld† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-17 20:29:41 Computational complexity theory Quantum algorithms Mathematics Function Algorithm
556	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science
557	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
558	American Computer Science League Classroom Division Contest #2 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:26 Algebra Mathematical fallacy Proof theory Quasigroup Analytic geometry Mutual information Abstract algebra Mathematics Group theory
559	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
560	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic

UPDATE